Alice Paul: Claiming Power

Cascading failures in power grids PAUL

IEEE POTENTIALS 0278-6648/09/$26.00 © 2009 IEEE Few people consider the complexity of power grid operation when they flip a switch to light a room. Power grids provide electricity to billions of individuals around the globe, often with higher than 99.9% reliability. Because the social structures in most developed countries rely on high-reliability electricity, massive social disruption can resu...

Tressa: Claiming the Future

Unlike sequential programs, concurrent programs have to account for interference on shared variables. Static verification of a desired property for such programs crucially depends on precisely asserting the conditions for interference. In a static proof system, in addition to program variables, auxiliary (history) variables summarizing the past of the program execution are used in these asserti...

پل کلودل Paul Claudel

Alice Sullivan

Biographical note: Alice Sullivan is a Research Officer at the Bedford Group for Lifecourse and Statistical Studies, Institute of Education, University of London. Current projects include a study of co-educational and single-sex schooling. Acknowledgements: Many thanks to John Bynner, Anthony Heath, Geoffrey Walford and two referees. This work was funded by an ESRC studentship.

Albert Benveniste , Paul Caspi , Paul

In this paper, we present a theory of synchronous data-ow languages. Our theory is supported by both some heuristic analysis of applications and some theoretical investigation of the data-ow paradigm. Our model covers both behavioural and operational aspects, and allows both synchronous and asynchronous styles of implementation for synchronous programs. This model served as a basis to establish...